perm filename CMSSI9.360[360,GF]2 blob sn#830341 filedate 1986-12-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔&"p_L'#λ_Mπ∀  GβQp∂∧@UXβ⊗`eP↓@ 5P↓@ EH↓@@EH↓@@E@↓@`E8α`E8↓A 50α↓ 50↓A@E(α↓@E α↓`E α↓`E_ααE_↓B E⊂αα@E⊂↓B`Eλ	TαE
∪`@hα∪`0pαS@@xα∪ Aα∪ Aα∪Aλα∪Aλα∩`A⊂α∩`1 α⊃(D⊂
πcapββj↓λ(∧J ∧AJ ¬A)p εA	p εA	p πip εA	p ε@i` εA	` ε↓	` ¬↓)aλ'∧	Q⊂&A↓8&A↓0(&A↓@ &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓P %A↓@(%A↓⊂8%DI!⊂%βhT !F#r∂CA¬0ε∃↓u_β↓@EλαB`∃αS`Txα∪@Dhα∪ D`α∪DXα∩`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩@TXα∩`D`α∪P`↓∪ `8αSB¬εTA∧("⊃βBλ∂π@`x(∧*↓⊂(↓↓⊂0(↓↓0('A↓P 'A↓P('A↓` 'A↓` 'A↓p '↓α '↓α '↓α '↓α '↓α_&Aα &Aα &Aα &Aα_&↓α &↓α &↓↓p &↓↓` &↓↓` %A↓` %A↓P %A↓0(%A↓⊂0%DI!λ%βHT "FCqp∂↓B5	Tα5α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dp	∪B$h	∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩bDP
∩BD("⊃C⊃p∂π@a⊂(∧J↓⊂(↓
 'A	p 'A	p 'A	` '↓	` '↓	a&D	Q&A	P &↓	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "QλqX⊂Hβpx∧∃Ae λT``8αT@PX↓∀Uα∪`Dpα∪ Dhα∪D`α∩`DXα∩`DPα∩@DPααa∀Pααa∀PααA∀Pαβ`DPαβ`DPαβ`DPαC@DXαβ DXαβ D`αβDhαα`DhβαTpλT↓e⊂∧⊃(D@∞HCapβ↓↓` (↓↓` (↓↓` (↓↓` (↓↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` '↓↓` '↓↓` '↓↓` '¬Ia0&EIP π↓	P π↓	P π↓	@ π↓	@ π↓	@ π↓	@ π↓	@ π↓	0 π↓	0 π↓	0 π↓	0 π↓	0 π↓	  π↓	  π↓λT $Baqp∂↓@Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("∩Ba@∂GB⊂ -A0 -A0 -↓  -↓  -↓⊂ ,A⊂ ,A⊂ ,↓ ,↓ +A
p +A
p +A
` +↓
` %@!⊂ %@``(%βI@P'↓HT %GD1p∂↓@@pαT@hαT@`αT@XαT@PαS`@Pα∪`@Hα∪`@8αS`@0αS`@(αS@@(αS@@ αS@@_αS@@⊂βS@@λ∧∪ @λα Dh∧`DhβADhβ↓ T`β↓`D`αBT`αα@D`αα@D`αα`DXαβDXαβTXαβ DXαβ TXαβ@DPαβ`DPα∧D("∪α!8∂π@` (↓
 (↓
 'A	p 'A	p 'A	` '↓	` '↓	` &A	P &A	P &↓	@ &↓	@ &↓	0 %A	0 %A	1λ%∧)!λ"Q	R ∀GC`0β∧ eβ∧ eβ∧uα ⊃↓ Eα ⊂x↓@ Dxα@⊂x↓ Dxα@⊂p↓@ Dxα@ `↓@@Dxα@ `↓@@Dxα@ Xα@Dpα` X↓@@Dpα` Pα@Dpα` P↓@`Dpα` Hα`Dpα`0@↓ADhα↓08α`Dhα↓00α↓Dhα↓00α↓Dhα↓0(α↓ D`α↓ 0(α↓D`α↓ 0 α↓ D`α↓@  ↓A@D`α↓@ _α↓@D`α↓@ _↓A`DXα↓` ⊂α↓@DXα↓` ⊂↓A`DXα↓` λα↓`DXα↓``@α∩`@@αBDPαα @@α∩@A(α⊃(Dp∞HCapβ↓a0 (↓a0 (↓a0 (↓⊂⊂¬A
 @a  'A _∧A	p ↓a⊂ 'A _∧A	p ↓↓↓ 'A  ∧↓	` α`p '↓@_βA	` α`p '↓@ β↓	` α↓` &AP αA	P β`P &A` α↓	P β↓@ &↓p ↓A	@ ∧`0 &↓↓_↓A	@ ∧`0 &↓↓ ↓↓	0 ∧A⊂ %A↓ _A	0 ¬`⊂ %A↓ _A	0 ¬α	  ε↓I  ε↓HT 'G∧"∂C@e(ε∃↓e⊂β↓ eλαB UαβDxαβ@Dpαβ`Dpαβ`Dhα∧ 4h↓D@D`α∧@D`↓D`DXα∧`DXα∧`DXα∧`4Pα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα∧TPα∧DXαβ@DXαβ DXαB`T`αB ThαA@Tpπ∪a5λβQ(EGCapββJ↓(∧* ∧↓J ¬↓	p ε↓	p ε↓	p ε↓	p ε↓	p ε↓	` ε@i` ε↓	` ¬A	` ¬↓	` ∧↓IQλ&D	Ph&A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT (G∧"(∂C@e(ε∃↓e⊂β↓ eλαB UαB`Dxαβ TpαC@Dpαβ`Dhα∧Dhα∧ D`α∧@D`α∧@DXα∧`DXα∧`DXα∧@DPα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα↓`@0α∩@@8α↓ DXα↓@P_α∩`@8α@DXαAA$`αAA∧hαA dpπ∪aeλβ@ EHαV UPαV@UXα⊃(E⊂
πcapββJ↓λ(∧J ∧AJ ¬A	p εA	p εA	p εA	p εA	p ε@i` εA	` ε↓	` ¬A)` ∧AIaλ&D)Pp&Ap &Ap &↓↓⊂_&↓↓⊂ &↓↓⊂ &↓↓  &↓↓  %A↓0 %A↓@ %A↓@ %A↓P %A↓P %↓↓` %↓↓p "Q
1@
HβphβU!E_πT@P0αT @P↓∀Eα∪`Dxα∪`Dxα∪`DxαS`u¬∀!5⊂¬U!∃HαV@UPαV`EXα⊗`EXα⊗@EPα∩@ hα∩@@Pα∩@`0αRat`εS`t("∃β2_∂π@↓P%εI!P*A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
  )↓
  (A
⊂ (A
⊂ (A
 (↓
 (↓
 'A	p "Q
QP⊂Gc` αβ Dpαβ Dpαβ Dpαβ Dpαβ Dhαβ Dhαβ Dhαβ Dhαβ Dhαβ D`αβ D`αβ D`αβ D`αβ D`αβ DXαβ DXαβ DXαβ DXαβ DPαβ DPαβ DPαβ DPαβ DPαβDPαβDPαα`DPαB DXααTXβ↓d`εS!4xβ⊃(E0∞Iβap↓αP %↓"0 %Aα  %Aα  %Aα⊂ %Aα⊂ %A!p &↓↓` &↓↓` &↓↓P &↓↓P &↓↓@ &↓!  &A↓  &A↓⊂ &A↓⊂ &A↓ &A↓_&Ap '↓P '↓P '↓@ '↓@_'↓0 '@`0_'@`  '@` _'@`⊂_'Aip0(↓(T +JF⊃p∂@pββ@DPαβ phα∩@@hβC DPαβ p`α∩`@X∧βDXαα`0λαα`DXαα@@⊂↓B`DXαα@0_↓B@DXαα @_↓B@DXαα 0 ↓B DXαα@ ↓B DXαα0(α↓`DXα↓`@(α↓`DXα↓`00α↓`4Xα↓@@0α↓@DXα↓@08α↓@4Xα↓ @8α↓ DXα↓ 0@α↓ 4Xα↓@@α↓D`↓A0Hα↓4`↓A0Hα`D`↓@`0X↓@`4`↓@`0X↓@@D`↓@@0`↓@@4`↓@@0`↓@@4`↓@@ h↓@ 4`↓@ 0h↓@ 4`↓@  p↓@ $`ββ@d`αC`T`αC`T("⊗∧∩⊂∂π@p(λ↓*  πA* (εA*0 ε↓*0(¬↓*@(∧↓*P βA*P(αA*` αA
`(↓A
p ↓↓
pH,↓k0,A0+Aj`H*A ⊂ *↓ 0 *↓@ )A` )↓p((A↓⊂ (↓↓ ('A↓@ '↓↓P(&A↓p &↓!p(%A"⊂(%↓" ("Q⊃h∩πC`αD`TPαD`DXαD DXαDD`αC@D`αC DhαβThαB@Tpαα TpαA`Txα↓`DxαA Eα↓Eα`Eλα Eλ∧∀@e⊂β∀`E⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀D("⊗CAx∂π@a((¬*↓(/A+p /↓P .↓+0(-A  ,A +A*`(+↓
P *↓
0()↓*⊂((A
 'A	`(&A)@(&↓	10%¬I!0"Q⊃⊂
Db0@β∪a4pεS@00α∪  Hα⊗E@α⊗E8α∀↓4pεS`(α∩`P8α∩@@@α∩@@@α∩@@@α∩@P(β∩B∧X∧@ D`β`D("_BA8∂π@` (↓
 (↓
 'A	p 'A	p 'A	` '↓@('↓⊂H'βi`0αA)P(∧↓	P ∧A	P ∧A	P ∧A	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬↓	@ ∧A	0 ¬↓	0 ∧A	0(βA)00α↓I0x%↓ @%↓0("Q1λ
Db0@β∀↓$xε∪@@0↓∪ @@SDXα∩`DXα∩@DPα∩@DPα∩@DPα∩@PHR`@0α∪↓Th¬∪@t("→αqX∂πB  .↓@ .↓@ -A0 -A0 -A  )↓ 0 (α ⊂ '∧	`(αAIP ∧↓	@ ∧A	0 ¬↓	0 ¬↓	0 ∧A	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ∧A	  ∧A	 (βA)0(α↓i0XA	@HA	`(↓AλT 2DBQ_	Be¬∪aDpαADhα↓`4`αα4Xαα@4XλRb∧PλR@DPα∩@DPα∩@DXαα ∀XαA D`εS!$xβ⊃(F0λE#ap¬AJ0@)α*⊂ (↓
_'A	p 'A	p '↓	 `%β	 `'↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 3F#⊃h	B`P(α∀b¬⊂λT @ α∀@0α∪`@8α∪`@8α∪`@8α∪`@0α∪`08α∪`@(α∪`@ αSaDp¬S@ ⊂αS@$h↓S!Tpπ∪At`	∩`PHαR`@Xα∩@@`α∩@@`α∩@PPα∩`P8αS↓thεSa∧("~αA8∂π@` (↓
 (↓
 'A	p 'A	p 'A	` '↓@0'↓ H'∧	`0αA)P0βA	P(∧↓	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	  ∧A	  ∧AλT 4BAQx∂A@Eα∀Eα⊃a α∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("~B@x∀πb ,A⊂ ,Aλp@εA
p +A
p +↓
` +↓
` *A
P *A
P *A
@ *↓
@ *↓
@ )A
0 )A
0 )↓
  )↓	0⊂α↓	0H%α)@0"Q
1(πC`0α∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪@@@αS@@8α∪@@0α∪@@(α∪ @(α∪ @_αS @⊂α∪ @λα∪@λβ∪↓4`ε∪`λαS@ αR`@(αR`@0α∩`@0αR`@8α∩`@8αR@@@αR@@HαQ(F`¬CCapβ↓
 (↓
 (↓	p 'A	p 'A	p '↓	` '↓	` '↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 6H$A_	A@ β↓`dpαA⊂ ∧SBλε∪@`(∧↓ Thβ↓``8α∪ P@αBDhαα @Hα∪ @Hαα D`αα @Hα∪@Hαα D`αα @Hα∪@Hαα D`αα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DPαα @Hα∩@@Hαα D("≠BA8	D`@ α↓I` ↓α)a'↓@P(&A@p &A! &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q
q Db0Hβ∀!$xεS@P(αS @@αS@Pα∪0Xα∩`@Xα∩`@Xα∩@@`α∩@@`α∩@@`α∩@@Xα∩@@Xα∩@@Pα∩`@@α∩`P(αS↓Th¬S`d("≤αa8∞∧`` α↓* B*x(↓@@0'A p('A↓⊂ 'A↓⊂ 'A↓⊂ '↓↓  '↓↓  '↓↓  '↓↓  '↓↓⊂ &A↓  &A↓⊂ &A p(&A@@0&Ci@ ↓α	@ ↓A)@ &↓	0 %A	0 %A	0 %↓	  "Q∞⊃ πα0@α@`E∧@Dx¬ DpαAthα↓`T`αα DXαB DXαα@DXαα DPαα@DPαα@DPαα@DPαα@DPαα DPαα DPαA`TXαAtX¬@ D`∧@ Dhβ`E0α∃@E(α∃ E(α∃ E(α∃E α⊃(G⊂πDB1_α↓@_'↓ ('↓⊂0'α	P8&AIP(&A	@(&↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 9DBA_	B↓¬ε∪aTpα↓`$hα∪ Dhα∪ Th∧SA$x¬∀!¬(α∃ E(α∩@ Hα∩@@0α∩ATX¬S t("≥↓Q⊂F @ '↓	` '↓	` &A	 h%β) h&A	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  %↓	  ↓@I H%α)00"Q∞Q ∧b0_αα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα DPααTPα↓@tPλRA0λα∪` α⊃(G0	Fα1_↓↓  %↓↓  %↓↓⊂ %↓↓⊂ %Ap %Ap_%A` %A`_%AP %A@ %A@ &`0 &`0 &`0_&` _&` _&`⊂_&`⊂_&A)P("Q∞qh⊃∧b0αα@@α∩@@8αBDPα↓` λ↓↓`DPα↓@0λ↓A@DPα↓@ ⊂↓A@4Pα↓ 0⊂↓A DPα↓ 0⊂↓A 4Pα↓0_↓ADX↓A0_↓A4X↓@`0 ↓@`DX↓@`0 ↓@`4X↓@` (↓@@DX↓@@0(↓@@4X↓@@ 0↓@@4X↓@@ 0↓@ 4X↓@  8↓@ 4X↓@  8↓@$X↓@ ⊂@↓ 4XαBTXαα T("≡αq8	D`P ¬↓	p(∧↓
 βA
⊂ αA
⊂ α↓
  ↓↓
 H)Aj@(*↓
@ )AJ _@j⊂_↓↓
_α↓	p_αA	`_βA	P βA	@ ∧A	0 ¬↓(T <Fβ↓`	A @Pα∪`@Pα∪`P@α∀@@α∀@8α∀@8↓T@0α∀@(α∀ @ α∀ @_α∀ @_α∀ @⊂α∀ @⊂↓T@0⊂↓T@0λ↓T@0λ↓T@0λ↓∀@ λ↓∀`E_↓T`5⊂↓T Eλ↓T4xα∩`tPβR@T("≡BA(	D`Px'Cipp,↓
p +↓
P(*↓*@ )A
  (A
 'A	` &A	@ %D	!%∧λT εβQp∂↓B∃λTα∃α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("$∩_∂πB@(/↓KP8.↓⊂_.` _-A  -↓0 -`@ ,A@ ,↓` ,↓` +Ap +↓↓ +↓↓(*A↓  *↓↓0 *↓↓0 )A↓@()↓↓` )↓↓` (A↓p (↓α((↓α⊂ 'Aα  '↓α0 '↓α0(&AαP &πIAp%H	"λ"Q!p∩λβpxβUAE πT``(β∀ PPαTP`αS`Ppα∪`Aα∪@Aλα∪ A⊂α∪ A_α∪A α∪A α∩`A(α∩`@ εADXα↓↓P_α∩@@ εADPα↓↓P α∩@A(α∩@A α∩@A α∩@A α∩@A_α∩@A⊂α∩@Qλα∩`Aα∩`@xα∪@hα∪PPαS `0β∪B¬ε∀@t("c⊃P∂πB⊂ -↓+ 0,@`⊂_,` _,`⊂ +A⊂ +@`  +↓  +`@_*A@_*@`P *↓P *`` )A` )@`p )↓p )a (A↓ (↓↓⊂ (↓↓⊂('A↓ ('A↓0 '↓↓@ '↓↓@ &A↓P &@a` &↓↓` &ap %A↓p(%@b("QBλ⊃GC`0
∀β%
⊃a 8
∀"E
⊃a@λ
∩C$P
⊃(@(∞HCapβ¬J↓0(¬J π↓
 π↓	p π↓	p π↓	p π↓	p π↓	p π↓	` π↓	` π↓	` π↓	` π↓	` π↓	P π↓	P π↓	P π↓	P π↓	@ π↓	@ π↓	@ π↓	@ π↓	@ π↓	0 π↓	0 π↓	0 π↓	0 π↓	0 π↓	  π↓	  π↓λT βλ$Ap∂↓C%
∀β%αT UλαT@U_αT`U αUU(αU U0αU@e8αU`E0α∃ U αT`U⊂αT UαTDxαS@ThαSβ∀XRC$("↓cR(∂G``0∧A)`Hβα)PXααI@(α`0 ↓A)0(β@0_αA	0 β@`⊂_β↓	  ∧`⊂⊂βA
`0+A
`(+↓*` +↓
` +↓
` *A
P *A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
  "Q↓↓P⊂πC`pα⊗E@α⊗E@α∃!¬⊂π∀"∧xβ@@λβ∪@P α`Thα↓ @(αS@0α↓@DXαA@@0α∩`@8α↓@DXα↓`@0α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@0α∩@P(α↓@DXα↓ @(αR`P α↓T`β@@λβ∪"∀xεT!¬_α∀`E_α∀@E⊂α⊃(@H∂	Capπ↓ ,↓	0(∧↓`0%A@p β↓I 8β↓`0&↓ ` β↓)@(β↓P(&↓ ` αA	@(β↓P &↓` αA	@ β↓P &↓` αA	@ β↓P &↓` α↓	0(αAP %A` αA	0(αA@ &↓P α↓	@ α↓@ &↓ 0 ↓A)@(↓A (&A@⊂P'βip`(B
0 )A
0 )↓
  "Q↓"⊃πcqλ∧⊗↓U0λ∃ `0β∀``PαT@PhαT@@xα∀ Aα∀AλαTA⊂α∀A⊂α∪`A⊂α∪`A⊂α∪`A⊂α∪`Aλα∪`Aλα∪`Aα∀1α∀0xα∀@p↓T@hα∀ 0`α∀ 0`↓T @P↓T@0Hα∀@0H↓T@0@↓T@0@↓T@08↓Ra 8¬RA00¬RA00¬Q(C
εβah¬A*0H(C
(↓A)p β↓	p βA	` ∧↓	`_∧A	P ∧A	P ∧A	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬i0 ¬↓	0 ¬↓	0 ¬↓	0 ¬↓	0_¬↓	  ¬↓	  ¬↓	  ¬i  ∧A	  ∧A	  ∧↓	  ∧i0 β↓	0(↓A)@X&B)`0"Qε⊃
π#PxU`5 β∀↓$x¬∪`@⊂α∃ E(α∃ E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀@Eλα∀ Eλα∀ DXπ∩adPπQ(C⊂F#Qhε↓J@P)β*⊂ αA*⊂⊂∧↓*_∧A	p_¬↓	p⊂¬A)p⊂¬A	pλε↓@ .↓0 -A  ,A +A
`_*↓
0 )j⊂_'A	` &@i@_%DI!⊂%∧HT →E#↓p∞B`e_¬∀!UαA DxααE↓α EB@EXα⊗`5Pα⊗ EHα∃`U_∧∀@u⊂∧∃`E@α⊗ 5Hα⊗ EHα⊗ E@α∩@⊂hα∩@ Xα∩@0Hα∩@P0αRaTh¬∪`d("
αQ8∞π↓p(,A+λA
pλA
`⊂A
P_A
P⊂↓↓
@_↓↓
0_↓↓
  ↓↓
 _↓A
⊂_α↓
 α↓	p α↓	p_αA	` αA	P β↓	@ β↓	@_βA	1 %E	1 *A
P *A
P *A
@ *↓λT ~E#↓h∞↓aeπT↓uα∀Dxα∪`Dxα∪`Dxα∪@@⊂αSATpπ∪@` α∪@@8α∪ P8α∪ @@α⊗ EHα⊗ EHα⊗E@α∩`⊂`α∩@0Pα∩@0Hα∩@P(αRaT`¬∪@d("
B18∂π!P(*B
0P)↓ @⊂(A
 'A	` '↓	P &A0(&↓ @&↓⊂P&↓`@(%A@p %A! %A! %A↓⊂ %A↓⊂ %↓↓  %↓↓  %↓↓  %↓↓ _%↓↓⊂ %↓↓⊂ %@a %A` %A @ &αiPH'A(T ≠Dc!`∞"$X	∩b%H↓V58↓U@5(↓UE_α∀`5⊂α∀ Eλ↓TDxα∪`Dpα∪@Dhα∪ D`α∪D`α∩`DXα∩`DPα∩@D("∞αA@∂π! 0)αJ⊂`(↓ @ 'Ap 'Ap '↓↓ '↓↓ '↓↓ '↓p '↓p '↓` 'A0((α*⊂8'BiP αA)@ βA	0 ∧A	0 ∧A	  ¬↓	  ¬↓	  ¬↓	  ∧A	  ∧A	  ∧↓	  βA) (αA)0h&αI`0"Qπ⊃(πCPXβ∃↓¬⊂¬T P α∀@8↓S`@@α∪`@@α∪@@Hα∪@@Hα∪ @Pα∪ @Pα∪ @Pα∪ @HαS @Hα∪ @Hα∪ @@αS @8β∪@@ ∧∪Atx∧@EαA5@α⊗58α∃@E0↓UDX↓A DPε∩a$hβ⊃(B ε$2λπk_,j`0*αj p(A ⊂_↓↓
⊂_↓@`@λ(`0_'@`@_'@`@_'@`@_'@`@_'@`0_'A _'A ⊂_(α
P(BJ0@*α
@_A
0_↓@j0_↓@j0_↓@j0_↓@j0_↓@J _↓@i0λβ`  %`P_A	 (↓Ai0h&αip0(@j⊂_"Q∧ax⊃λβpxαUa¬0¬∃ @_α∃ 0 α∃0(α∃0(α∀`@(α∀`00α∀`0(α∀`0(α∀@@ α∀@@⊂αT@@λαB@∃⊂∧α`E⊂βC5_αCEλββ 5βCDx∧B@Dhα@@@P↓SP_αB4`α↓P8α∩`@0αA DXα↓@P α∩@@@α@@DPαα!∀Pαα!∧PαB dXαA! 0↓∩c4`εa4pβB d("∂aq8∂π@P8&β	0p%A` %@!⊂ *A
P *A
@ )A* ((A
 'A	p_'↓	`_&A	P_&@iP_&@Hp(A	0 %↓	  "Qπ`xλGBPXα∃E α∃D8αB 5_↓T`5⊂α∀@5⊂↓T 5λ↓T4xα∪@Dhα∪DXα∩`DPα∩@DPαα ∀PαA DXπ∪↓4hβQ(A∧αb1_α↓	` '↓	` &A	P &A	P &↓	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "Qα⊃λεπα0hα∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ E(α∃E α∃E α∃E_α∀`E_α∀`E⊂α∀@E⊂α∩`  α∩a∀P∧Sd("ε"A8∂πA00)B* X(AP (↓` 'Ap 'Ap 'Ap 'A` 'A` '↓` '↓00'↓0('↓00'↓P(&Ap &A↓ &A↓ &A↓ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓ %Ap %A08%↓08%↓ 0"Qβ!x⊃∧b0@βA`Tx¬@a$pε@!Dp↓AA⊂ α∪  Hβ↓`5@αBE@αBE@λUαDxS!d`β↓ DXααDPαα DPααdPαα`HR@P(¬↓ 4Xε@!TXεa$`∧αd("εd"(	Da⊂0¬↓*⊂PαBIph↓C	`(αA ⊂(α↓	P ∧αp_&↓↓ 0∧↓	@_¬AA %A↓1⊂%A↓1λ%↓↓Aλ%↓↓@ %↓↓@ %↓↓0(%↓↓0(%↓↓ 8%A↓@∧@)0(αA ⊂0α@i@h↓C)PXαBIp0¬↓HT ∞εβ⊃`E 5pα↔ Eh↓U `λ↓TaEλεTP β∪`@0βS@@0↓@ Dpα↓ @λα∪ @(α@Dhα↓ 0_α∪@(↓AD`α↓0(α∪@_α↓ D`α@@(α∪@⊂↓A@D`α 00α∪ p(α∪ ` αSATpε∪ 0λβ∪DXα∩`4P↓Q(Ah∃
cap	EKQ0.¬k0 ↓A0 ↓A  ↓A⊂ α↓⊂ α↓ αA_β↓
p αA
` β↓
` β↓
P βD
@ ∧∧
@ βD
0 ∧↓
0 ∧↓
  ∧A
⊃λ(D*↓⊂(a0 'A↓0 '↓↓0 '↓↓0 &A↓@ &↓↓P &↓↓Q⊂%A↓Q⊂%@aa⊂"QβbX_λβpxβUCe ⊂∀``0
T PHβ∀PXαS`P`α∪`@hα∪@@hαS @pαS @pαS@xα∪1α∩`@xαR`@x	R`@x	R@A	∩@Aα∩@@xαR@@xαR@@xα∩@@xα∩@@xα∩@@pαR@PhαR`@hα∩`PXαS@XαSPHβ∪ `0SD∀x⊂∀@t("πcb ⊃Hβ _,A`0 +∧
Aλ)A@P0(A! ((↓! 8'A!08'A↓0_↓↓	` ¬A  &A↓0 ↓A	P ¬@`P &↓↓0_β↓	@ ¬↓` %A↓  βA	0 ¬a %A↓⊂_∧↓	  ∧A↓ %↓↓ ∧A	  ∧a  %↓p_¬↓	  βa0 %↓P ¬A	  α@a0 %↓@_¬A	  ↓@a@ %A⊂ ¬A	0 @a0 &↓A0 &↓! (&A@`0&D)@_C	0_α↓i0_&(T ⊂BAqp∂↓@Eα∀Eα∀E↓S`Dxα∪`Dx↓S`4pα∪@Dp↓S@4p↓S Dh↓S 4h↓S 4h↓⊃`Pλα∩`DPα∩@D("∂↓0p∂¬ p (↓
 (↓λp(α@ip_'@i` 'i`_'i`_&A	P_&@iP_&↓	@ &↓	@_%A	0 %A	0 %↓	  "Q∧2λ∩Ica B ∃h↓α%h↓α%`↓α%`↓α%X↓α%X↓α%X↓α%P↓α%P↓α%H↓α%H↓α%@↓α%@↓α$h∂∪#e0↓α%0↓α%(↓α%(↓α%(↓α% ↓α% ↓α% ↓α$X∂∩ce⊂↓α%λ↓α%λ↓α%↓α%↓α%↓α$x↓α$x↓α$p↓α$p↓α$h↓α$h↓α$h↓α$hB ∀("	#B ⊃H ` λ@)p0π@I`@ε@IP A↓@⊂&↓0_¬@I@_αa0⊂%A@ ∧@I0 α↓↓⊂%↓@ ∧I  α↓p⊂%↓@ β@I  α↓`⊂%↓0 βI  ↓AP⊂%↓  βI  ↓↓P⊂%BP⊂%A`P⊂&@`p⊂β↓
`⊂β↓JP⊂βα
@⊂β↓ _)@@` ↓A
0⊂β↓0 )@` α↓
⊂⊂βA@ (A α↓
⊂βA@ '@A α↓	`⊂∧A@ &@A  ↓A	@⊂¬A0 &A@_↓↓	0⊂εB	 ⊂πAI λλAλT ∪AA`H∂@D`α∪D`α∪ $h↓∪$X↓∩`$P↓⊃(B@	¬%Rλπ@k_+@j`_*@j@_)@j  (A
⊂_(↓
_'A	p_'↓	` &A	P &@i@ &↓	@ %A	0 %A	0 %A	0 %@i  %↓	  %↓	0_%@i0_%A	0 %A	@_&↓	P_&A	`_'@j_"Q¬⊃λ	$⊂H↓U5(↓U 50↓U@50α∃`58↓U`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ 5 α∃E_α∀`E⊂α∀@Eλα∀ 5α∪`Dx↓S@4h↓S4X↓R@4("
B1P	H! ⊂)@j0_)@i@⊂α@`Pλ&`@⊂α↓	00↓@ (&B⊂('αJ0(↓I`P&βI (↓` (%`@⊂α↓	 ⊂α@@P⊂(j_(j⊂"Q¬1h⊃πc!⊂V`%X↓⊗`%X↓⊗`%P↓⊗@%P↓⊗@%P↓⊗ %H↓⊗ %H↓∩cDX∞⊗%@↓⊗%8↓∃`%8↓∃`%8↓∃@%0↓∃@%0↓∃ %(↓∃@∀("pH∧@`0 &A	@ &↓	P⊂&@I@⊂&I0⊂%HT ↔↓!⊂_↓@ DXα∩@DPα⊃(BxFEBλ,⊂⊂0L⊂/@Kp⊂/K`⊂.@K@⊂.K0⊂-@K ⊂-K⊂⊂,@K⊂,Jp⊂+@J`⊂*@JP⊂*J@⊂)@J0⊂)J ⊂(@J⊂⊂(J⊂'@I`⊂'IP⊂&@I@⊂&I0⊂%@I ⊂%(T ≥α↓A_	ADpα∪@Dpα⊃a@λα∩`DPα∩@D("∞a `D`` (↓
 (↓λp`↓A	P &↓	@ &@IP⊂&I@⊂%@I ⊂"QπQx⊃Bb_∞∪#D8∧#DX∞⊃(DGcapπ↓j`X*βJ 0β↓
⊂(∧↓*(¬↓	p βB)` βαiP(αβ)P α↓ 00&↓P αA)@ α↓`(%A@ ∧↓	0 α↓↓ %A@ βA)  α↓↓ %↓@ ∧↓	  α↓↓ %↓@ βA	  α↓p %↓@(αA	  αA@ %↓ PP%A`@%Ap(&↓	@(&AA('∧
`)αλT -Dα"`⊂B u_βT`u⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀Eα∀5↓S`Dxα∪`Dx↓S@Dpα∪@Dpα∪@4hα∪ Dhα∪ 4h↓SD`α∪D`↓R`DXα∩`DXα∩`4Pα∩@tPβR@t("↔"x⊗λ!⊂8)Aj08+j`_*A
P *A
P_*↓
@ *↓
@ *j0 )A
0 )A
0_)↓
  )↓
 _)j⊂ (A
⊂ (@j (↓
 (↓
_'A	p 'A	p_'@i` '↓	` 'i 8%↓i 8"Q0πB#` ↓∪ $h↓∪$X↓∩`$Pα∩@DPα∩@D("∧A↓⊂βπ@ %A	@ &@i`_'↓	p_"Qα0P↓C`0α∪`Dpα∪ D`α∩`DP↓Q(A λε a`a _%@`p &`P &↓0 &B	`0'AλT 
Cc⊂8∂@8↓R@0@↓R@@8↓R`00↓R`@_α∩a4`∧∪@D("¬B⊃H↓ε`⊃%D	!"QαpX∞↓C`_β∩a∀Pα↓4P↓A 4P↓A4P∧Sd(!@?␈␈x␈@αε?␈␈x{␈␈␈x}↓ 4p↓S 4`↓R`4Pα⊃(Bεβ@Qλ¬J⊂(&B) P%↓I _"Qa↓C`8α∀dx∧∪@@⊂α∪ 0(α∩`@8↓R@0P↓Q(ExαC`1xA	  %↓	  "Q∂Px↓C`_α↓Dhα↓D`α↓D`↓A 4Xα↓DX↓A 4P↓A 4("∨Aq@απ @_α@i@8↓@i0h%@`00%`P "Q∂phcpλα↓DXα`DPα↓DPα↓D("αcb⊂∂πA08αAj0H↓B* P↓αJ⊂ ∧↓
 ∧↓
_∧@ip ∧↓	p ∧↓	p ∧↓	p ∧↓	` ∧↓	 h↓B) h↓B) h↓B)` ∧↓	P ∧↓	P ∧↓	P ∧↓	P ∧↓	@ ∧↓	@ ∧↓	@ ∧↓	@ ∧↓	@ ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	0 ∧↓	  ∧↓	  ∧↓λT ε¬c1x∂D`E(α@`E_β@`E⊂∧`Eλα∀E↓S`Dxα∪`Dxα∪@DPπ`DPπ`DPπ`Dpαα Dhαα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα D("β#↓`∂πA0(↓A
08↓A
 @↓A
⊂ ∧↓
 ∧A
_∧A	p ∧A	p ∧A	p ∧A	p ∧A	` ∧A	 p↓A	 p↓A	 p↓A	` ∧A	P ∧A	P ∧A	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	  ∧A	  ∧AλT πλdqx∂G`E(β↓@P_α∀a(β`E⊂∧Ap_α∀ @Hα∀@Hα∀0P↓S`@Hα∪`@Hα∪`@Hα∪`@Hα∪@@Hα∩AP ∧@`DPεA↓⊂_α∩AP ∧@`Dpαα @@α∪ @HααDhαα @@α∪ @HααDhαα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααDXαα @@α∩`@HααDXαα @@α∩`@HααDXαα @@α∩@@HααDPαα @@α⊃(@x∩
βap¬A@`(↓A
0@αA@0 )α @8↓A
⊂ ∧Ap (↓↓⊂ ∧↓
_¬a 'A↓⊂ ∧↓	p ∧A↓ 'A↓⊂ ∧↓	p ∧A↓ '↓↓⊂ ∧↓	 hαα 0 %β @H↓A	 hαα 0 '↓↓⊂ ∧↓	P ∧A↓ &A↓⊂ ∧↓	P ∧A↓ &A↓⊂ ∧↓	@ ∧A↓ &↓↓⊂ ∧↓	@ ∧A↓ &↓↓⊂ ∧↓	@ ∧A↓ %A↓⊂ ∧↓	0 ∧A↓ %A↓⊂ ∧↓	0 ∧A↓ %A↓⊂ ∧↓	  ∧A↓ %↓↓⊂ ∧↓λT ⊃βbPH∂@@(α∪@(α∪@(α∪@(α∪  8↓∪  8↓∪ 8↓∩` 8↓∩` 8↓∩@ 8↓⊃(Bh¬C@ XαI P%αHT .βc0H∂↓ 8↓∪  8↓∪  8↓∪ 8↓∩` 8↓∩` 8↓∩@@(α∩@@(α∩@@(α∩@@(α⊃(GXF  hEI10%¬HT >F⊂ε@%TX⊗RET(wD
⊗ 2[NFH3~,W⊂⊂⊂iU_)R=q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_;|α`∀∩
t→8@OX≠@OX≠␈␈␈x⎇@_␈␈␈xz⊂⎇@↓Hα≡hαCx{$`εm∧¬⊂O0↓	`e⊂
>>`_∞↓!⊂y↓(@=@Axα↑hα←h{↓$⊂¬h%0¬C/0βλ Xp_%}`8∩↓LP ↓0n=Aαλα|εαtλ{α$@ε2H¬x/0¬λ Xp_∃>`X
@↓→8Xα@Z=AAHα~	 ¬∪8{β#⊂∧4∩@
5O0π	 h0⎇∃}`x∩@↓VλzαPq=BX⎇P8β`P{∧!@α_>pπG∨0	¬`@≤8∪[≡a_@↓β@pα8@⎇BA8απ∞∧y0{¬"p∧∞≤	v?0¬`@≤8∪u≡a8⊃↓Axβ@α8p⎇C↓ ↓ip∧␈`{ε"`βyV@πOO0
λ Xp_∂>>aX∩↓LP ↓x(=CA8απ∞β{8{π%ππ⊂λ¬/0∂ x␈} ⊂(>ax∩↓LP αλ⊂=DX⎇P8¬α⊂{λ!pαM7⊂λ:?0⊃¬`@≤8∃h}b_∪↓[ ⊂α⊂&⎇DA8απ∞βG0{	$`εm∧λ]O0∪λ``<¬∞=>b8ε@Iλ0α_[⎇E↓⊂↓LR∧=⊂{
" β→$	ε←0∃¬`@≤8∩&≡bX∩↓LP α p⎇E@h↓∩⊗∧R@{!pα↑h
z/0↔β  HX∩P}bx@↓β@pα()=F↓8απ∞β
0{"p∧∞≤ε)←0→¬`@≤8d↑c_@↓β@p↓Hq⎇FA8απ∞β#@{
"p∧∞≤εS?0≠¬`@≤8
<≡c8@↓β@p↓X-⎇G↓8απ∞β9`{∞"p∧∞≤π↓←0≥β  HX∩l}cXε@Iλ0α(f=G@x↓&[H∧!{∂$@ε2H	>∨0∨¬@8a|∞r>cx|_x↓hD=H↓xα↑h∧`⊂{⊂#p¬?~ ∧?0!π`P|j &↑d_∞@↓(λHλ¬⎇HBλα|8H∃`{⊃#@∧x:?0#ε@H5\↓ε≡d8∂@↓/0@⊂.⎇Iαλαt∩X,⊂{∩!Pα%v g␈0%¬@8cF ↓a≡dX⊂↓7λa_g⎇IAHα≡hE {∪%π↔Y0↓∪∨0'λ XPJ`α`↑dx⊃↓B(s@0≠⎇J↓hαPKHk0{∀$ ε	<p↓b?0)π@PS←βi↑e_
↓∩⊂`@∞⎇JAxαg@8↓π{∃$¬S←`α⊗←0+π`P}4@∧M↑e8⊗↓xp→HY⎇K↓xα←M⊂↓)`{⊗#p¬?~ αb∨0-πPε(¬]≡eXε@L8
@α0G⎇KA8απ∞¬=x{↔!Pα1c0	↑∂0/¬`@≤8∀
>exε@Iλ0α@)=Lh↓∩⊗∧uλ{_"`βyV@αw∨01ε@?→`¬␈≡f_
tx`2⎇LA@α∂f8↓I`{→"@βS` β ␈03β@(β∀εP↑f8@↓β@phC⎇M↓@α∂f8↓↑`{~!0↓{ pβJ␈05β 0⎇`π$≡fX@↓H;@pn⎇M@X⎇P8↓t0{≠$PεCxpβq?07ε@?→`λα≡fx@↓β@p↓.⎇N↓@α∂f8α
@{≤#∧∨Lp∧!←09∧(O↓λ]↑g_	dh←↓λU⎇NAλ↓>βα≡{≥#∧∨Lp∧C←0;¬ 8J!`	≤↑g8∂@↓3`β@↓⊂b⎇O↓(↓rH8α6{≡"Pβe⊂p∧u?0=¬8∩z 
∧≡gX@↓β@pα`π=OBp∧∞≤¬AX{∨"p∧∞≤
∨0?¬`@≤8∀!≡gx@↓β@pα@N} ⊗→⊂=xow{⎇x